]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 971e3f6) | patch
Use points for font sizes
authorOwen W. Taylor <otaylor@fishsoup.net>
Fri, 4 Mar 2011 20:54:19 +0000 (15:54 -0500)
committerOwen W. Taylor <otaylor@fishsoup.net>
Tue, 15 Mar 2011 16:01:40 +0000 (12:01 -0400)
commite8eec2d357a5b4c6db312687c8987b0595e91bec
treee5f4a21b9923f6f086d6579190b164698a3d00betree | snapshot
parent971e3f679fe2a6c9310f1a8594b455ecb54e3e37commit | diff
Use points for font sizes

Do a basic job of converting font sizes from pixels to points, so they
will scale will the global GNOME scale factor. Some other sizes that are
clearly related to the font sizes are changed to ems, but no comprehensive
attempt is made to get rid of px units.

https://bugzilla.gnome.org/show_bug.cgi?id=636868
data/theme/gnome-shell.css diff | blob | history
js/ui/overview.js diff | blob | history
js/ui/panel.js diff | blob | history
js/ui/workspace.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.